Tallinn University of Technology - PDFSEARCH.IO - Document Search Engine

Tallinn University of Technology
Results: 239

#	Item
11	INCLUDEME portal HOWTO User management A howto by Pjotr Savitski Center for Educational Technology of Tallinn University Add to Reading List Source URL: www.htk.tlu.ee Language: English - Date: 2006-11-10 07:01:57 User interface techniques Password The Button Login Form Point and click
12	2nd QUALICHeCK conference, Brussels, 4 SeptemberOverall findings on status on the ground Jarek Kurnitski Tallinn University of Technology Add to Reading List Source URL: www.es-so.com Language: English - Date: 2016-03-21 18:50:31
13	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
14	Dependently Typed Programming with Finite Sets Denis Firsov Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2015-08-30 21:29:22
15	Trace-Based Coinductive Operational Semantics for While Big-Step and Small-Step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2009-09-03 04:00:55
16	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-10-16 19:31:58
17	MSFPThe Recursion Scheme from the Cofree Recursive Comonad Tarmo Uustalu1 Institute of Cybernetics at Tallinn University of Technology, Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2008-06-19 11:10:36
18	ByteCodeType Systems for Optimizing Stack-based Code Ando Saabas and Tarmo Uustalu1 Institute of Cybernetics, Tallinn University of Technology, Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2007-02-08 05:26:12
19	Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2010-08-19 14:05:01
20	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2005-09-22 14:37:02

UPDATE